Your search returned
8
records. Click on the hyperlinks to view further details of Titles..
Magazine Name
:
Ieee Transactions On Software Engineering
Year :
1991
Volume number :
17
Issue:
11
Retrospective On The Vax Vmm Security Kernel
(Article)
Subject
:
Author:
page:
1147 -
1165
Covert Flow Trees A Visual Approach To Analyzing Covert Storage Channels
(Article)
Subject
:
Author:
page:
1166 -
1185
A Uniform Presentation Of Confidentiality Properties
(Article)
Subject
:
Author:
page:
1186 -
1194
Modeling Security Relevant Data Semantics
(Article)
Subject
:
Author:
page:
1195 -
1203
Automated Analysis Of Concurrent Systems With The Constrained Expression Toolset
(Article)
Subject
:
Author:
page:
1204 -
1222
Prism Methodology And Process Oriented Environment
(Article)
Subject
:
Author:
page:
1270 -
1283
Concise Papers
(Article)
Subject
:
Author:
page:
1284 -
1288
Correspondence
(Article)
Subject
:
Author:
page:
1289 -
1295